6.05. If an employee is on annual leave on one of the holidays provided for in section 6.01, the employer must pay him the indemnity provided for in section 6.03 or grant him a compensatory holiday of 1 day on a date agreed upon between the employer and the employee.